Total Books: 1 - 2 /2
Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
Lire la suite
Semantics in Data and Knowledge Bases : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers
This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lire la suite
Total Books: 1 - 2 /2
